<?php
// $Id: views.inc,v 1.5 2008/07/15 23:59:36 merlinofchaos Exp $

// Empty file to ensure the old views.inc is really gone.

